翻訳と辞書 Words near each other ・ DeRionne P. Pollard ・ Deripalli ・ Deris ・ Deris Benavides ・ Deris Rural District ・ Deris Umanzor ・ Derita (Charlotte neighborhood) ・ Deritend ・ Deritend ware ・ Deriugins School ・ Derius ・ Derivae ・ Derivart ・ Derivate (disambiguation) ・ Derivation ・ Derivation (differential algebra) ・ Derivation of self inductance ・ Derivation of the Cartesian form for an ellipse ・ Derivation of the conjugate gradient method ・ Derivation of the Navier–Stokes equations ・ Derivation of the Routh array ・ Derivations of the Lorentz transformations ・ Derivative ・ Derivative (chemistry) ・ Derivative (disambiguation) ・ Derivative (film) ・ Derivative (finance) ・ Derivative algebra ・ Derivative algebra (abstract algebra) ・ Derivative and Commodity Exchange Nepal Ltd. Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Derivation (differential algebra) ： ウィキペディア英語版 Derivation (differential algebra) In mathematics, a derivation is a function on an algebra which generalizes certain features of the derivative operator. Specifically, given an algebra ''A'' over a ring or a field ''K'', a ''K''-derivation is a ''K''-linear map that satisfies Leibniz's law: :$D(ab)\; =\; D(a)b\; +\; aD(b).$ More generally, if ''M'' is an ''A''-bimodule, a ''K''-linear map that satisfies the Leibniz law is also called a derivation. The collection of all ''K''-derivations of ''A'' to itself is denoted by Der''K''(''A''). The collection of ''K''-derivations of ''A'' into an ''A''-module ''M'' is denoted by . Derivations occur in many different contexts in diverse areas of mathematics. The partial derivative with respect to a variable is an R-derivation on the algebra of real-valued differentiable functions on R''n''. The Lie derivative with respect to a vector field is an R-derivation on the algebra of differentiable functions on a differentiable manifold; more generally it is a derivation on the tensor algebra of a manifold. The Pincherle derivative is an example of a derivation in abstract algebra. If the algebra ''A'' is noncommutative, then the commutator with respect to an element of the algebra ''A'' defines a linear endomorphism of ''A'' to itself, which is a derivation over ''K''. An algebra ''A'' equipped with a distinguished derivation ''d'' forms a differential algebra, and is itself a significant object of study in areas such as differential Galois theory. ==Properties== The Leibniz law itself has a number of immediate consequences. Firstly, if , then it follows by mathematical induction that :$D(x\_1x\_2\backslash cdots\; x\_n)\; =\; \backslash sum\_i\; x\_1\backslash cdots\; x\_D(x\_i)x\_\backslash cdots\; x\_n\; =\; \backslash sum\_i\; D(x\_i)\backslash prod\_x\_j$ (the last equality holds if, for all $i,\backslash \; D(x\_i)$ commutes with $x\_1,x\_2,\backslash cdots,\; x\_$). In particular, if ''A'' is commutative and , then this formula simplifies to the familiar power rule . Secondly, if ''A'' has a unit element 1, then since . Moreover, because ''D'' is ''K''-linear, it follows that "the derivative of any constant function is zero"; more precisely, for any , . If is a subring, and ''A'' is a ''k''-algebra, then there is an inclusion :$\backslash operatorname\_K(A,M)\backslash subset\; \backslash operatorname\_k(A,M)\; ,$ since any ''K''-derivation is ''a fortiori'' a ''k''-derivation. The set of ''k''-derivations from ''A'' to ''M'', is a module over ''k''. Furthermore, the ''k''-module Der''k''(''A'') forms a Lie algebra with Lie bracket defined by the commutator: :$()\; =\; D\_1\backslash circ\; D\_2\; -\; D\_2\backslash circ\; D\_1.$ It is readily verified that the Lie bracket of two derivations is again a derivation. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Derivation (differential algebra)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.